Buy Used and New Helmut Schwichtenberg Books

Computational Logic: 165 (Nato ASI Subseries F:)

by Ulrich Berger,Helmut Schwichtenberg

ISBN 13: 9783540645894

Format: Hardcover (460 pages)
Publisher: Springer
Published: 14 Apr 1999

Save for later

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

by Klaus Mainzer,Peter Schuster,Helmut Schwichtenberg

ISBN 13: 9789811236471

Format: Hardcover (424 pages)
Publisher: World Scientific Publishing
Published: 27 Aug 2021

Save for later